Full operational set theory with unbounded existential quantification and power set
نویسندگان
چکیده
منابع مشابه
Full operational set theory with unbounded existential quantification and power set
We study the extension OST(E,P) of Feferman’s operational set theory OST provided by adding operational versions of unbounded existential quantification and power set and determine its proof-theoretic strength in terms of a suitable theory of sets and classes.
متن کاملCompleteness in Operational Set Theory
This note is concerned with operational set theory, a concept that was introduced in Sanchis [8], via the sysstem G, a partially formalized set theory. The leit motiv of this approach is the predicativity principle, that we understand as a general principle in the sense that the universe of sets is not a well defined totality, and quantification over the universe may be allowed only under sever...
متن کاملElementary Constructive Operational Set Theory
We introduce an operational set theory in the style of [5] and [17]. The theory we develop here is a theory of constructive sets and operations. One motivation behind constructive operational set theory is to merge a constructive notion of set ([1], [2]) with some aspects which are typical of explicit mathematics [14]. In particular, one has non-extensional operations (or rules) alongside exten...
متن کاملOperational set theory and small large cardinals
Article history: Received 5 December 2006 Revised 21 April 2008 Available online 11 April 2009 A new axiomatic system OST of operational set theory is introduced in which the usual language of set theory is expanded to allow us to talk about (possibly partial) operations applicable both to sets and to operations. OST is equivalent in strength to admissible set theory, and a natural extension of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2009
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.01.010